Modifying Hytech to Automatically Synthesize Hybrid Controllers

We present HoneyTech, a tool for automatic synthesis of hybrid controllers. HoneyTech is an extension of the HyTech tool, with added features for linear hybrid automata region modeling and analysis. The tool has also been enhanced to improve performance by reducing the number of redundant operations during region computations. The tool has been used to implement the Wong-Toi hybrid controller synthesis algorithm and has been tested on several examples. In this paper, we present an extension of the algorithm to include parametrized controllable transtions. We discuss the HoneyTech implementation of the algorithm and its application to some simple control examples. We also present a brief performance evaluation of the algorithm for increasing scales of magnitude of the control problem.